Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
Lire la suiteThis book contains the proceedings of the International Tax Conference on the c- th th mon consolidated corporate tax base ...
Lire la suiteThis is a history of parametric statistical inference, written by one of the most important historians of statistics of the ...
Lire la suiteAccording to Leo Breiman (1968), probability theory has a right and a left hand. The right hand refers to rigorous mathematics, ...
Lire la suiteSystemVerilog language consists of three very specific areas of constructs - design, assertions and testbench. This guide ...
Lire la suiteCustomer integration in the early innovation phase has been considered the method of choice in theory and practice. Growing ...
Lire la suiteThis book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap ...
Lire la suiteThis book is the first comprehensive treatment, of structural credit risk models for the simultaneous and consistent pricing ...
Lire la suitePart of the series sponsored by the European Association of Neurosurgical Societies. The Advances section presents fields ...
Lire la suiteThis book constitutes the refereed post-conference proceedings of the 6th International Workshop on Accelerator Programming ...
Lire la suiteThis book is the outcome of a Global Forum on Innovation, Intellectual Property and Access to Medicines held in December ...
Lire la suiteIncorporates the new tax rates and other impacts of the Tax Cuts and Jobs Act and will assist you in understanding FASB ASC ...
Lire la suiteThe book gives generations of instructors and students a comprehensive knowledge of the specialized accounting and financial ...
Lire la suiteAd-Hoc Networking Towards Seamless Communications is dedicated to an area that attracts growing interest in academia and ...
Lire la suiteThe book presents basic concepts of adaptive signal processing and filtering in a concise and straightforward manner. It ...
Lire la suiteAdaptive radio transceivers require a comprehensive theoretical framework in order to optimize their performance. Adaptive ...
Lire la suiteThis book discusses the different approaches and responses to adaptive techniques used for processor power, frequency and ...
Lire la suiteAdaptive Techniques for Mixed Signal Sytem on Chip discusses the concept of adaptation in the context of analog and mixed ...
Lire la suiteThis book gives a modern presentation of the established as well as of recent concepts. Latest results in BDD optimization ...
Lire la suiteThis book serves as an introduction to the state of the art on data warehouse design, with many references to more detailed ...
Lire la suite